1

[Universitext] A Course on Mathematical Logic || Semantics of First-Order Languages

Srivastava, Shashi Mohan
Year:
2013
Language:
english
File:
PDF, 262 KB
english, 2013
2

[Universitext] A Course on Mathematical Logic || Model Theory

Srivastava, Shashi Mohan
Year:
2013
Language:
english
File:
PDF, 496 KB
english, 2013
6

[Universitext] A Course on Mathematical Logic ||

Srivastava, Shashi Mohan
Year:
2013
Language:
english
File:
PDF, 1.37 MB
english, 2013
7

[Universitext] A Course on Mathematical Logic || Propositional Logic

Srivastava, Shashi Mohan
Year:
2013
Language:
english
File:
PDF, 172 KB
english, 2013
8

[Universitext] A Course on Mathematical Logic || Syntax of First-Order Logic

Srivastava, Shashi Mohan
Year:
2013
Language:
english
File:
PDF, 166 KB
english, 2013
9

[Universitext] A Course on Mathematical Logic || Completeness Theorem for First-Order Logic

Srivastava, Shashi Mohan
Year:
2013
Language:
english
File:
PDF, 229 KB
english, 2013
11

A Course on Basic Model Theory ||

Sarbadhikari, Haimanti, Srivastava, Shashi Mohan
Year:
2017
Language:
english
File:
PDF, 2.95 MB
english, 2017